1

A resolution principle for constrained logics

Year:
1994
Language:
english
File:
PDF, 2.12 MB
english, 1994
2

Holonic transport scheduling with teletruck

Year:
2000
Language:
english
File:
PDF, 384 KB
english, 2000
4

Uniaxial compression testing of bulk nanoporous gold

Year:
2017
Language:
english
File:
PDF, 2.73 MB
english, 2017
8

Matching — A special case of unification?

Year:
1989
Language:
english
File:
PDF, 952 KB
english, 1989
14

On Skolemization in constrained logics

Year:
1996
Language:
english
File:
PDF, 2.42 MB
english, 1996
15

Vom Schmuddelkind zum Fachbereich

Year:
2011
Language:
german
File:
PDF, 191 KB
german, 2011
24

On solving equations and disequations

Year:
1994
Language:
english
File:
PDF, 2.69 MB
english, 1994